\begin{tabbing}
cr{-}input\=\{i:l\}\+
\\[0ex](${\it es}$; ${\it Cmd}$; ${\it Sys}$; ${\it Config}$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(sys{-}valid\=\{i:l\}\+
\\[0ex](${\it es}$; ${\it Config}$; ${\it Cmd}$; ${\it Sys}$)$\mid$input{-}dcdr\=\{i:l\}\+
\\[0ex](${\it es}$; ${\it Cmd}$; ${\it Sys}$))
\-\-
\end{tabbing}